@article{OcamlDef,
    Author = {Damien Doligez and Alain Frisch and Jacques Garrigue and Didier R{\'{e}}my and J{\'{e}}r{\^{o}}me Vouillon},
    Title = {The {OC}aml system release 3.12},
    http = {http://caml.inria.fr/pub/docs/manual-ocaml/index.html},
    Year = "2011"
}

@article{PV,
    Author = {Jacques Garrigue},
    Journal = {ACM SIGPLAN Workshop on ML},
    Title = {Programming with polymorphic variants},
    Year = "1998"
}

@article{PVReuse,
    Author = {Jacques Garrigue},
    Journal = {Workshop on {F}oundations of {S}oftware {E}ngineering},
    Title = {Code reuse through polymorphic variants},
    Year = "2000"
}

@article{Exproblem,
    Author = {Philip Wadler},
    Title = {{T}he {E}xpression {P}roblem},
    Journal = {{D}iscussion on the {J}ava-{G}enericity mailing list},
    Year = "1998"
}

@incollection{Remy,
  author = "Didier R{\'{e}}my",
  title = "{U}sing, {U}nderstanding, and {U}nraveling the {OC}aml {L}anguage",
  booktitle = "{A}pplied {S}emantics. Advanced Lectures. LNCS 2395.",
  publisher = "Springer Verlag",
  year  = "2002",
  pages = "413--537"
}

@inproceedings{Monads,
 author = {Wadler, Philip},
 title = {Monads for Functional Programming},
 booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text},
 year = {1995},
 pages = {24--52},
 publisher = {Springer-Verlag}
} 

@techreport{MonadicParserCombinators,
        author = "Graham Hutton and Erik Meijer",
        title = "{Monadic Parser Combinators}",
        institution = "Department of Computer Science,
                        University of Nottingham",
        type = "Technical Report",
        year = 1996}
